-
1 аксиоматизируемый класс
Mathematics: axiomatizable classУниверсальный русско-английский словарь > аксиоматизируемый класс
-
2 аксиоматизируемый класс
аксіоматизо́вний класРусско-украинский политехнический словарь > аксиоматизируемый класс
-
3 аксиоматизируемый класс
аксіоматизо́вний класРусско-украинский политехнический словарь > аксиоматизируемый класс
-
4 аксиоматизируемый класс
axiomatizable class мат.Русско-английский научно-технический словарь Масловского > аксиоматизируемый класс
-
5 конечно аксиоматизируемый класс
Mathematics: finitely axiomatizable classУниверсальный русско-английский словарь > конечно аксиоматизируемый класс
-
6 относительно аксиоматизируемый класс
Mathematics: relatively axiomatic class (relatively axiomatizable)Универсальный русско-английский словарь > относительно аксиоматизируемый класс
-
7 универсально аксиоматизируемый класс
Mathematics: universally axiomatizable classУниверсальный русско-английский словарь > универсально аксиоматизируемый класс
-
8 конечно аксиоматизируемый класс
finitely axiomatizable class матем.Русско-английский научно-технический словарь Масловского > конечно аксиоматизируемый класс
-
9 относительно аксиоматизируемый класс
relatively axiomatic class матем., relatively axiomatizable classРусско-английский научно-технический словарь Масловского > относительно аксиоматизируемый класс
-
10 универсально аксиоматизируемый класс
Русско-английский научно-технический словарь Масловского > универсально аксиоматизируемый класс
-
11 класс
астр., матем., техн., физ.клас, -су- арифметический класс
- аустенитный класс
- базисный класс
- бесконечный класс
- бэров класс
- гомотопический класс
- двойственный класс
- двухсторонний класс
- двусторонний класс
- дедекиндов класс
- единичный класс
- класс богатства
- класс гомологий
- класс дивизоров
- класс идеалов
- класс исчислений
- класс кобордизма
- класс множеств
- класс неисправностей
- класс нильпотентности
- класс остатков
- класс отображений
- класс погрешности
- класс подстановок
- класс прерываний
- класс распределения
- конечный класс
- мартенситный класс
- непересекающиеся классы
- нормальный класс
- ограниченный класс
- особенный класс
- поздний класс
- полный класс
- пустой класс
- ранний класс
- расщеплённый класс
- редукционные классы
- смежный класс
- собственный класс
- сопряжённые классы
- спектральный класс
- типовой класс
- ферритный класс
- фундаментальный класс
- хорновский класс -
12 класс
астр., матем., техн., физ.клас, -су- арифметический класс
- аустенитный класс
- базисный класс
- бесконечный класс
- бэров класс
- гомотопический класс
- двойственный класс
- двухсторонний класс
- двусторонний класс
- дедекиндов класс
- единичный класс
- класс богатства
- класс гомологий
- класс дивизоров
- класс идеалов
- класс исчислений
- класс кобордизма
- класс множеств
- класс неисправностей
- класс нильпотентности
- класс остатков
- класс отображений
- класс погрешности
- класс подстановок
- класс прерываний
- класс распределения
- конечный класс
- мартенситный класс
- непересекающиеся классы
- нормальный класс
- ограниченный класс
- особенный класс
- поздний класс
- полный класс
- пустой класс
- ранний класс
- расщеплённый класс
- редукционные классы
- смежный класс
- собственный класс
- сопряжённые классы
- спектральный класс
- типовой класс
- ферритный класс
- фундаментальный класс
- хорновский класс
См. также в других словарях:
АКСИОМАТИЗИРУЕМЫЙ КЛАСС — класс однотипных моделей, определяемый системой аксиом. Класс Кмоделей формального языка Lназ. аксиоматизируемым (конечно аксиоматизируемым), если существует (конечная) система замкнутых формул языка Lтакая, что Ксодержит те и только те модели,… … Математическая энциклопедия
АЛГЕБРАИЧЕСКИХ СИСТЕМ КВАЗИМНОГООБРАЗИЕ — класс алгебраич. систем ( систем), аксиоматизируемый при помощи специальных формул логич. языка 1 й ступени, к рые наз. квазитождествами, или условными тождествами, и имеют вид: где термы сигнатуры от предметных переменных . В силу теоремы… … Математическая энциклопедия
АЛГЕБРАИЧЕСКАЯ СИСТЕМА — множество с определенными на нем операциями и отношениями. А. с. принадлежат к числу основных математич. структур и имеют глубоко разработанную общую теорию, сформировавшуюся в начале 50 х гг. 20 в. на грани между алгеброй и математич. логикой.… … Математическая энциклопедия
АЛГЕБРАИЧЕСКОЙ СИСТЕМЫ АВТОМОРФИЗМ — Ч изоморфное отображение алгебраической системы на себя. Автоморфизмом (А.) системы наз. всякое взаимно однозначное отображение множества Ана себя, обладающее свойствами: для всех . из Аи для всех из . Другими словами, А … Математическая энциклопедия
Моделей теория — раздел математики, возникший при применении методов математической логики в алгебре. Ко 2 й половине 20 в. М. т. оформилась в самостоятельную дисциплину, методы и результаты которой находят применение как в алгебре, так и в др. разделах… … Большая советская энциклопедия
ДОУПОРЯДОЧИВАЕМАЯ ГРУППА — группа, всякий частичный порядок в к рой может быть продолжен до линейного (см. Упорядочиваемая группа). Д. г. наз. также О* группами. Существует следующий критерий доупорядочиваемости группы. Пусть S(g) минимальная инвариантная подполугруппа… … Математическая энциклопедия
АЛГЕБРАИЧЕСКИХ СИСТЕМ МНОГООБРАЗИЕ — алгебраических систем класс фиксированной сигнатуры и, аксиоматизируемый при помощи тождеств, т. е. формул вида где к. л. предикатный символ из или знак равенства, а термы сигнатуры Q от предметных переменных А. с. м. наз. иначе э к,… … Математическая энциклопедия
Универсальная алгебра — Не следует путать с универсальной алгеброй одним из видов структур, изучаемых данным разделом математики. Универсальная алгебра раздел математики, изучающий общие свойства алгебраических систем, отыскивая общие черты между такими… … Википедия
ЛИНЕЙНО УПОРЯДОЧЕННАЯ ГРУППА — алгебраическая система G, являющаяся группой относительно операции умножения, линейно упорядоченным множеством относительно бинарного отношения порядка и удовлетворяющая аксиоме: для любых элементов из следует Множество положительных элементов Л … Математическая энциклопедия